Three Recitations on Holonomic Systems and Hypergeometric Series
نویسنده
چکیده
When we teach calculus we have lectures and recitations. These notes are meant as “recitations” or something like “Schaum outlines” for the theory. The role of the “lectures” or “textbook” is provided by Gosper’s path-breaking paper “A Decision Procedure for Indefinite summation”, Proc. Nat. Acad. Sci. USA 75 (1978), 40-42, and by the following papers by myself and my collaborators, Gert Almkvist and Herb Wilf.
منابع مشابه
Algorithmic determination of q-power series for q-holonomic functions
In [Koepf (1992)] it was shown how for a given holonomic function a representation as a formal power series of hypergeometric type can be determined algorithmically. This algorithm – that we call FPS algorithm (Formal Power Series) – combines three steps to obtain the desired representation. The authors implemented this algorithm in the computer algebra system Maple as c̀onvert/FormalPowerSeries...
متن کاملComputer Algebra Algorithms for Orthogonal Polynomials and Special Functions
In this minicourse I would like to present computer algebra algorithms for the work with orthogonal polynomials and special functions. This includes • the computation of power series representations of hypergeometric type functions, given by “expressions”, like arcsin(x)/x , • the computation of holonomic differential equations for functions, given by expressions, • the computation of holonomic...
متن کاملHolonomic rank of A-hypergeometric differential-difference equations
We introduceA-hypergeometric differential-difference equation HA and prove that its holonomic rank is equal to the normalized volume of A with giving a set of convergent series solutions.
متن کاملA holonomic systems approach to special functions identities *
We observe that many special functions are solutions of so-called holonomic systems. Bernstein’s deep theory of holonomic systems is then invoked to show that any identity involving sums and integrals of products of these special functions can be verified in a finite number of steps. This is partially substantiated by an algorithm that proves terminating hypergeometric series identities, and th...
متن کاملHolonomic Tools for Basic Hypergeometric Functions
With the exception of q-hypergeometric summation, the use of computer algebra packages implementing Zeilberger’s “holonomic systems approach” in a broader mathematical sense is less common in the field of q-series and basic hypergeometric functions. A major objective of this article is to popularize the usage of such tools also in these domains. Concrete case studies showing software in action ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Symb. Comput.
دوره 20 شماره
صفحات -
تاریخ انتشار 1995